41![551 Documenta Math. On Triangulated Orbit Categories Dedicated to Claus Michael Ringel 551 Documenta Math. On Triangulated Orbit Categories Dedicated to Claus Michael Ringel](https://www.pdfsearch.io/img/52d92157dc60bd9674ed76de7d6d7172.jpg) | Add to Reading ListSource URL: documenta.sagemath.orgLanguage: English - Date: 2005-12-13 15:00:16
|
---|
42![On Delineability of Varieties in CAD-Based Q E S. McCallum (Macquarie University) and C. W. Brown (US Naval Academy) A key notion in the algorithmic theory of CADs is delineability: roughly speaking, the real variety of On Delineability of Varieties in CAD-Based Q E S. McCallum (Macquarie University) and C. W. Brown (US Naval Academy) A key notion in the algorithmic theory of CADs is delineability: roughly speaking, the real variety of](https://www.pdfsearch.io/img/f30beb2bddf31f651b6630e6cedc75d0.jpg) | Add to Reading ListSource URL: issac2009.kias.re.krLanguage: English - Date: 2009-07-31 09:21:57
|
---|
43![699 Documenta Math. Thom Spectra that Are Symmetric Spectra 699 Documenta Math. Thom Spectra that Are Symmetric Spectra](https://www.pdfsearch.io/img/ec6b0c61b312c52953f3ba60360560df.jpg) | Add to Reading ListSource URL: www.math.uiuc.eduLanguage: English - Date: 2009-12-31 04:42:00
|
---|
44![Towards a Unified Treatment of Induction, I: The General Recursion Theorem Paul Taylor 1995–6 Abstract The recursive construction of a function f : A → Θ consists, paradigmatically, of finding Towards a Unified Treatment of Induction, I: The General Recursion Theorem Paul Taylor 1995–6 Abstract The recursive construction of a function f : A → Θ consists, paradigmatically, of finding](https://www.pdfsearch.io/img/93d78368b7c03db0d6cbd99ba3489a5d.jpg) | Add to Reading ListSource URL: www.paultaylor.euLanguage: English - Date: 2009-02-12 12:52:32
|
---|
45![Submission for IFLFlipping Fold, Reformulating Reduction An Exercise in Categorical Design Gershom Bazerman S&P/CapitalIQ Submission for IFLFlipping Fold, Reformulating Reduction An Exercise in Categorical Design Gershom Bazerman S&P/CapitalIQ](https://www.pdfsearch.io/img/d43d54ec73f0ebdf3c670b552ddaff61.jpg) | Add to Reading ListSource URL: gbaz.github.ioLanguage: English - Date: 2016-02-29 17:49:20
|
---|
46![The Abstract Method, In General Gershom Bazerman, S&P/CapitalIQ
“It is natural to attend most to the most set-like aspects of toposes, and to imagine them as derived from set theory, and to do this even without thinki The Abstract Method, In General Gershom Bazerman, S&P/CapitalIQ
“It is natural to attend most to the most set-like aspects of toposes, and to imagine them as derived from set theory, and to do this even without thinki](https://www.pdfsearch.io/img/e5c06437ab27a178ed3ec6360f679ac0.jpg) | Add to Reading ListSource URL: gbaz.github.ioLanguage: English - Date: 2016-02-29 17:49:20
|
---|
47![Chu Spaces Vaughan Pratt Stanford University Notes for the School on Category Theory and Applications University of Coimbra Chu Spaces Vaughan Pratt Stanford University Notes for the School on Category Theory and Applications University of Coimbra](https://www.pdfsearch.io/img/0c0040f0c4c06471afd9d1af70e74d33.jpg) | Add to Reading ListSource URL: chu.stanford.eduLanguage: English - Date: 2004-12-15 21:06:50
|
---|
48![Uniform Interpolation and Compact Congruences Samuel J. van Gool1 , George Metcalfe2 , and Constantine Tsinakis3 1 Department of Mathematics, University of Milan Uniform Interpolation and Compact Congruences Samuel J. van Gool1 , George Metcalfe2 , and Constantine Tsinakis3 1 Department of Mathematics, University of Milan](https://www.pdfsearch.io/img/cc3d7fa13867786b2fb44e90cd510fef.jpg) | Add to Reading ListSource URL: logica.dmi.unisa.itLanguage: English - Date: 2015-05-24 12:54:29
|
---|
49![Backwards Abstract Interpretation of Probabilistic Programs David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France Backwards Abstract Interpretation of Probabilistic Programs David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France](https://www.pdfsearch.io/img/12a84c1a94cb3214908a716feea0535a.jpg) | Add to Reading ListSource URL: www-verimag.imag.frLanguage: English - Date: 2007-10-18 09:44:01
|
---|
50![ADJOINT FUNCTORS IN GRAPH THEORY JAN FONIOK AND CLAUDE TARDIF Abstract. We survey some uses of adjoint functors in graph theory pertaining to colourings, complexity reductions, multiplicativity, circular colourings and t ADJOINT FUNCTORS IN GRAPH THEORY JAN FONIOK AND CLAUDE TARDIF Abstract. We survey some uses of adjoint functors in graph theory pertaining to colourings, complexity reductions, multiplicativity, circular colourings and t](https://www.pdfsearch.io/img/0ba9a7e451b79cbe89eda1d752377301.jpg) | Add to Reading ListSource URL: iti.mff.cuni.czLanguage: English - Date: 2016-02-04 05:53:38
|
---|